Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Aktuelle Kontaktadresse
| Land | Russische Föderation |
|---|---|
| Ort | Novosibirsk |
| Universität/Institution | Russian Academy of Sciences |
| Institut/Abteilung | A.P. Ershov Institute of Informatics Systems, Laboratory of theoretical programming |
Profil
| Fachgebiet | Theoretische Informatik,Grundlagen der Mathematik, Logik, Mengenlehre |
|---|---|
| Keywords | Entscheidbarkeit, Komplexität, Mathematische Logik, Automaten, Sprachen |